Xylem: The Code of Plants
نویسندگان
چکیده
This paper describes the impetus behind and design of a quasi-casual math puzzle game with the goal of crowdsourcing formal software verification through the analysis of loop invariants. This game, Xylem: The Code of Plants, presents players with puzzles derived from data produced by loops in a particular piece of software. Solving these puzzles involves finding and expressing a loop invariant that holds for that set of data, which results in an annotation in the original code. In this way, players can contribute to the effort to formally verify a piece of software while enjoying mathematical puzzles.
منابع مشابه
Energy Flow from Root to Shoot: A Comprehensive In silico Analysis
Background: Root to shoot connection and transfer of information seems to be taken place mostly via the transmissions of signal molecules, secondary metabolites, amino acids, hormones and proteins, through xylem sap. Examination of earlier reports is indicative of relatively high levels of conservation in xylem sap protein compositions. Apparently these protein molecules are be...
متن کاملProviding a mathematical model for measuring the expression of GUS gene was transferred temporarily through xylem vessels using RT-PCR and probe Gold nanoparticles
Gene transfer to plants and the production of transgenic plants with various purposes, such as improving the performance and quality, resistance to pests, diseases, etc., and of great importance are carried out Gene transfer to plants performs to evaluate the transient and permanent gene expression. Transient expression is quick, easy and simple and is not influenced by position effect compare ...
متن کاملProviding a mathematical model for measuring the expression of GUS gene was transferred temporarily through xylem vessels using RT-PCR and probe Gold nanoparticles
Gene transfer to plants and the production of transgenic plants with various purposes, such as improving the performance and quality, resistance to pests, diseases, etc., and of great importance are carried out Gene transfer to plants performs to evaluate the transient and permanent gene expression. Transient expression is quick, easy and simple and is not influenced by position effect compare ...
متن کاملEffects of Drought Stress on Some Anatomical Characteristics of Barley Leaves
In this research, effect of drought stress on leaf characteristics was investigated in the experimental field of Miandoab Azad University, Iran using four facultative barley cultivars. Two separate experiments were conducted in pot and field conditions. In both experiments a factorial arrangement was used and the treatments were completely randomized in four replications. In each experiment ha...
متن کاملSoftware verification games: Designing Xylem, The Code of Plants
Formal software verification is a software engineering technique for modeling a software system’s source code, and then proving properties about it, such as freedom from security vulnerabilities. Though proofs are largely automated, formal source code modeling is time consuming and requires substantial human attention. Xylem: The Code of Plants is an iPad game where players make observations ab...
متن کامل